Gurobi模型一报不可行,很多人第一反应就是去删约束,结果越改越乱。更稳的做法,其实是先分清状态,再做定位。Gurobi官方说明得很明确,若状态是INFEASIBLE,说明模型已被证明不可行;若状态是INF_OR_UNBD,就还不能直接当作不可行处理,需要先把DualReductions设为0,reset模型并重新optimize,一般才会得到更明确的INFEASIBLE或UNBOUNDED结论。也就是说,排查的第一步不是找“哪条约束错了”,而是先确认你面对的真的是不可行,而不是不可行和无界混在一起。
2026-04-20



